Characteristica Universalis *
نویسنده
چکیده
Yores hensigt vil her va::re at konstruere dele af et direkte afbildende sprog, som vil sa::tte os i stand til at repra::sentere virkelighedens mest generelle strukturer. Vi skal ikke her benytte os af de logiske standard-behandlinger af epistemiske tilstande, der sa::dvanligvis opfatter disse som domme (propositioner). Vi vil i stedet genoptage den ikke mindre a::rva::rdige, men nutildags noget oversete formalontologiske tradition, inden for hvilken hverken sa::tninger eller domme (propositioner), men kort, diagrammer eller billeder tjener som konstituenter i vor afbildning af virkeligheden. Konstruktionen af et direkte afbildende sprog forst:i.r vi i en vis forstand som et eksperimentelt anliggende. Man kan, som Peirce bema::rkede, "foretage pra::cise eksperimenter med ensartede diagrammer", og, i formalontologien, sadan som vi forst:i.r den, vil operationer pa diagrammer "erstatte eksperimenter med virkelige genstande, sadan som de udfores inden for kemi og fysik''. 1 Kemikeren ka::mper naturligvis i sine eksperimenter med virkelighedens egentlige bestanddele, hvis egenskaber han er interesseret i at fastla::gge. Her vil vi tra::de et skridt tilbage og eksperimentere med virkelighedens diagrammer. Modsa::tningen er dog ikke sa stor, som den kan synes. Det er netop ikke de enkelte pr0ver, kemikeren interesserer sig for, snarere er (i Scotus' stil):
منابع مشابه
Leibniz’s Laws of Continuity and Homogeneity
From the Characteristica Universalis to Ideal Entities Leibniz envisioned the creation of a universal language, characteristica universalis, ambitiously designed to serve as the vehicle for deduction and discovery in all fields of knowledge. Couturat [10] pointed out in 1901 that, in Leibniz’s vision, the infinitesimal calculus was but the first salvo, or sample, of his characteristica universa...
متن کاملA Short Survey of Automated Reasoning
This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far. 1 Historical introduction The idea of reducing reasoning to mechanical calculation is an old dream [75]...
متن کاملCalculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic, Revisited
It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the model of Ivor Grattan-Guinness (1988 ), the tradition of the algebra of logic and the tradition of mathematical logic. They are represented by the developments going back to the British algebraist Georg...
متن کاملA wavelet-domain PSOLA approach
A basic problem in concatenative speech synthesis are discontinuities at the concatenation points. The units which are produced by different (independent) articulatory movements differ in their spectral characteristics even if their phonetic context is carefully chosen. This paper describes a wavelet transform of the spectrum of the speech concatenated within the PSOLA algorithm. This multireso...
متن کاملNotes on the Philosophy of Leibniz
Mainly about his lingua characteristica and calculus ratiocinator. Created 2005/01/26 Last Change Date: 2008-09-09 20:21:11 http://www.rbjones.com/rbjpub/www/papers/p005.pdf Id: p005.tex,v 1.6 2008-09-09 20:21:11 rbj Exp c © Roger Bishop Jones; Licenced under Gnu LGPL p005.tex; 25/01/2010; 13:13; p.1
متن کامل